An Algorithm to Generate Square-Free Numbers and to Compute the Moebius Function

We introduce an algorithm that iteratively produces a sequence of natural numbers ki and functions bi defined in the interval [1,+∞). The number ki+1 arises as the first point of discontinuity of bi above ki. We derive a set of properties of both sequences, suggesting that (1) the algorithm produces square-free numbers ki, (2) all the square-free numbers are generated as the output of the algorithm, and (3) the value of the Möbius function μ(ki) can be evaluated as bi(ki+1)−bi(ki). The logical equivalence of these properties is rigorously proved. The question remains open if one of these properties can be derived from the definition of the algorithm. Numerical evidence, limited to 5× 106, seems to support this conjecture.